4b67884f39c43519562bc1c87a282edbd8be2034,plugins/org.eclipse.emf.edit.ui/src/org/eclipse/emf/edit/ui/util/EditUIMarkerHelper.java,EditUIMarkerHelper,getTargetObjects,#Object#IMarker#,188
Before Change
EObject eObject = editingDomain.getResourceSet().getEObject(uri, true);
if (eObject != null)
{
result.add(editingDomain.getWrapper(eObject));
}
}
}
After Change
EObject eObject = editingDomain.getResourceSet().getEObject(uri, true);
if (eObject != null)
{
result.add(wrap ? editingDomain.getWrapper(eObject) : eObject);
}
}
}